classical propositional logic

[數(shù)] 經(jīng)典命題邏輯

熱門查詢

acoustic　　n. 原聲樂器；不用電傳音的樂器 adj. 聲學(xué)的；音響的；聽覺的 n. (Acoustic)人名；(法)阿庫斯蒂克
unruffled　　v. 使平整；變得平靜（unruffle的過去分詞） adj. 平靜的；不騷動的；鎮(zhèn)定的
girth　　n. 周長；圍長；肚帶 n. (Girth)人名；(英)格思；(法、德)吉爾特 vt. 圍繞；包圍 vi. 圍長為
textile　　n. 紡織品，織物 adj. 紡織的
reliable　　n. 可靠的人 adj. 可靠的；可信賴的
discomfiture　　n. 狼狽；挫敗，崩潰
tosca　　n. 碳酸鈣沉積; 白泥灰?guī)r
educationist　　n. 教育家；教育理論家
Moshe　　n. (Moshe)人名；(以)摩西
bone　　n. 骨；骨骼 vt. 剔去...的骨；施骨肥于 vi. 苦學(xué)；專心致志 n. (Bone)人名；(英)博恩；(法、西、羅、塞)博內(nèi)；(老)奔
toad　　n. 蟾蜍；癩蛤蟆；討厭的家伙
Astra　　abbr. advanced structure analyzer 高級結(jié)構(gòu)分析者; advanced system for radiological assessment 高級放射評估系統(tǒng); automatic scheduling with time integrated resource allocation 綜合時間分配自動編運行圖
Adamson　　[人名] [英格蘭人姓氏] 亞當(dāng)森取自父名，來源于Adam,含義是“亞當(dāng)之子”(son of Adam)
rico　　abbr. 反詐騙腐敗組織集團犯罪法（Racketeer Influenced and Corrupt Organizations Act） n. (Rico)人名；(英、法、西、意、葡)里科
airhead　　n. 空軍前進基地；沒腦子的人
odds-on　　adj. 大半有希望贏的；很可能的 n. 勝算；優(yōu)勢
perez　　[人名] 佩雷斯; [地名] [菲律賓、美國] 佩雷斯
knickers　　n. 燈籠褲，短褲；女用燈籠褲型的扎口短褲
herald　　n. 預(yù)兆，征兆；先驅(qū)；傳令官；報信者 vt. 通報；預(yù)示…的來臨 n. (Herald)人名；(匈)海勞爾德；(英)赫勒爾德
quadrupling　　n. 四倍 v. 使成四倍（quadruple的ing形式）